/**
 * This class represents a user
 */

/**
 * @author Maximilian Csuk
 * @author Bernhard Denner
 * @author Konrad Paumann
 *
 * $Revision$
 * $Date$
 */
import java.util.*;

public class UserManager {
	/**
	 * List of users
	 */
	List<User> users;
}
